Convolution Verified